THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT
نویسنده
چکیده
In this paper we discuss the refinement of exceptions. We extend the Guarded Command Language normally used in the refinement calculus, with a simple exception handling statement, which we model using King and Morgan’s exit statement. We derive some variants of King and Morgan’s refinement laws for their exit statement, and illustrate the approach with an example of a refinement of a simple program.
منابع مشابه
Dynamics of a strongly driven two-component Bose-Einstein condensate
G. L. Salmond, C. A. Holmes, and G. J. Milburn Center for Laser Science, Department of Physics, The University of Queensland, Queensland 4072, Australia Center for Mathematical Physics, Department of Mathematics, The University of Queensland, Queensland 4072, Australia Center for Quantum Computer Technology, Department of Physics, The University of Queensland, Queensland 4072, Australia ~Receiv...
متن کاملMultiple bifurcations in atom optics
W. K. Hensinger, B. Upcroft, C. A. Holmes, N. R. Heckenberg, G. J. Milburn, and H. Rubinsztein-Dunlop Centre for Laser Science, Department of Physics, The University of Queensland, Brisbane, Queensland 4072, Australia Department of Mathematics, The University of Queensland, Brisbane, Queensland 4072, Australia Centre for Quantum Computer Technology, Department of Physics, The University of Quee...
متن کاملA new crystal: layer-structured rhombohedral In3Se4
Materials Engineering, The University of Queensland, Brisbane, QLD 4072, Australia. E-mail: [email protected], [email protected] b Australian Institute for Bioengineering and Nanotechnology, The University of Queensland, Brisbane, QLD 4072, Australia. E-mail: [email protected] c Centre for Microscopy and Microanalysis, The University of Queensland, Brisbane, QLD 4072, Australia Materials Science, ...
متن کاملApplication of Surface Fitting Techniques for the Representation of Leaf Surfaces
Department of Mathematics and Computing, University of Southern Queensland, Toowoomba, QLD 4350, Australia. E-Mail: [email protected] Department of Mathematics, University of Queensland, Brisbane, QLD 4072, Australia ARC Centre of Excellence for Integrative Legume Research, ARC Centre for Complex Systems, Advanced Computational Modelling Centre, University of Queensland, Brisbane, QLD 4072, Aust...
متن کاملThe highly resolved electronic spectrum of the square planar CuCl4
Andrew Dick, Hedayat Rahemi, Elmars R. Krausz, Graeme R. Hanson, and Mark J. Riley School of Molecular and Microbial Sciences, University of Queensland, St. Lucia, Queensland 4072, Australia Chemistry Department, Urmia University, Urmia 57159-165, Iran Research School of Chemistry, Australian National University, Canberra 0200, Australia Centre for Magnetic Resonance, University of Queensland, ...
متن کامل-regulated Pool of Phosphatidylinositol-3-phosphate Produced by Phosphatidylinositol 3-Kinase C2 on Neurosecretory Vesicles
*Molecular Dynamics of Synaptic Function Laboratory, Queensland Brain Institute and School of Biomedical Sciences, The University of Queensland, St. Lucia, 4072 Queensland, Australia; † Centre for Microscopy and Microanalysis and Institute for Molecular Bioscience, University of Queensland, Brisbane, Queensland 4072, Australia; and ‡Renal Section, Faculty of Medicine, Imperial College, London W...
متن کامل